Results for 'Valdiney Veloso Gouveia'

152 found
Order:
  1.  22
    Indicadores de bom estudante: sua explicação a partir dos valores humanos; Human values and the good student indicators.Nilton Soares Formiga, Fabiana Queiroga & Valdiney Veloso Gouveia - 2001 - Aletheia: An International Journal of Philosophy 13:63-73.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  27
    Escala de Altruísmo Autoinformado: evidências de validade de construto.Valdiney V. Gouveia, Rebecca Alves Aguiar Athayde, Rildésia Sv Gouveia, Ana Isabel Araújo Silva de Brito Gomes & Roosevelt Vilar Lobo de Souza - 2010 - Revista Aletheia 33:30-44.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  30
    Escala de Altruísmo Autoinformado: evidências de validade de construto.Valdiney V. Gouveia, Rebecca Alves Aguiar Athayde, Rildésia S. V. Gouveia, Ana Isabel Araújo Silva de Brito Gomes & Roosevelt Vilar Lobo de Souza - 2010 - Revista Aletheia 33:30-44.
    Este artigo objetivou adaptar a Escala de Altruismo Autoinformado (EAA), reunindo evidencias de sua validade de construto. Realizaram-se dois estudos em Joao Pessoa (PB), nos quais os participantes responderam a EAA e perguntas demograficas. No Estudo 1 participaram 331estudantes universitarios com ..
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  78
    Reflecting on Behavioral Spillover in Context: How Do Behavioral Motivations and Awareness Catalyze Other Environmentally Responsible Actions in Brazil, China, and Denmark?Nick Nash, Lorraine Whitmarsh, Stuart Capstick, John Thøgersen, Valdiney Gouveia, Rafaella de Carvalho Rodrigues Araújo, Marie K. Harder, Xiao Wang & Yuebai Liu - 2019 - Frontiers in Psychology 10.
    Responding to serious environmental problems, requires urgent and fundamental shifts in our day-to-day lifestyles. This paper employs a qualitative, cross-cultural approach to explore people’s subjective self-reflections on their experiences of pro-environmental behavioral spillover in three countries; Brazil, China, and Denmark. Behavioral spillover is an appealing yet elusive phenomenon, but offers a potential way of encouraging wider, voluntary lifestyle shifts beyond the scope of single behavior change interventions. Behavioral spillover theory proposes that engaging in one pro-environmental action can catalyze the performance (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  22
    Cross-Cultural Differences and Similarities in Human Value Instantiation.Paul H. P. Hanel, Gregory R. Maio, Ana K. S. Soares, Katia C. Vione, Gabriel L. de Holanda Coelho, Valdiney V. Gouveia, Appasaheb C. Patil, Shanmukh V. Kamble & Antony S. R. Manstead - 2018 - Frontiers in Psychology 9.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  6.  35
    Testing the underlying structure of unfounded beliefs about COVID-19 around the world.Paweł Brzóska, Magdalena Żemojtel-Piotrowska, Jarosław Piotrowski, Bartłomiej Nowak, Peter K. Jonason, Constantine Sedikides, Mladen Adamovic, Kokou A. Atitsogbe, Oli Ahmed, Uzma Azam, Sergiu Bălțătescu, Konstantin Bochaver, Aidos Bolatov, Mario Bonato, Victor Counted, Trawin Chaleeraktrakoon, Jano Ramos-Diaz, Sonya Dragova-Koleva, Walaa Labib M. Eldesoki, Carla Sofia Esteves, Valdiney V. Gouveia, Pablo Perez de Leon, Dzintra Iliško, Jesus Alfonso D. Datu, Fanli Jia, Veljko Jovanović, Tomislav Jukić, Narine Khachatryan, Monika Kovacs, Uri Lifshin, Aitor Larzabal Fernandez, Kadi Liik, Sadia Malik, Chanki Moon, Stephan Muehlbacher, Reza Najafi, Emre Oruç, Joonha Park, Iva Poláčková Šolcová, Rahkman Ardi, Ognjen Ridic, Goran Ridic, Yadgar Ismail Said, Andrej Starc, Delia Stefenel, Kiều Thị Thanh Trà, Habib Tiliouine, Robert Tomšik, Jorge Torres-Marin, Charles S. Umeh, Eduardo Wills-Herrera, Anna Wlodarczyk, Zahir Vally & Illia Yahiiaiev - 2024 - Thinking and Reasoning 30 (2):301-326.
    Unfounded—conspiracy and health—beliefs about COVID-19 have accompanied the pandemic worldwide. Here, we examined cross-nationally the structure and correlates of these beliefs with an 8-item scale, using a multigroup confirmatory factor analysis. We obtained a two-factor model of unfounded (conspiracy and health) beliefs with good internal structure (average CFI = 0.98, RMSEA = 0.05, SRMR = 0.04), but a high correlation between the two factors (average latent factor correlation = 0.57). This model was replicable across 50 countries (total N = 13,579), (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  17
    Testing the underlying structure of unfounded beliefs about COVID-19 around the world.Paweł Brzóska, Magdalena Żemojtel-Piotrowska, Jarosław Piotrowski, Bartłomiej Nowak, Peter K. Jonason, Constantine Sedikides, Mladen Adamovic, Kokou A. Atitsogbe, Oli Ahmed, Uzma Azam, Sergiu Bălțătescu, Konstantin Bochaver, Aidos Bolatov, Mario Bonato, Victor Counted, Trawin Chaleeraktrakoon, Jano Ramos-Diaz, Sonya Dragova-Koleva, Walaa Labib M. Eldesoki, Carla Sofia Esteves, Valdiney V. Gouveia, Pablo Perez de Leon, Dzintra Iliško, Jesus Alfonso D. Datu, Fanli Jia, Veljko Jovanović, Tomislav Jukić, Narine Khachatryan, Monika Kovacs, Uri Lifshin, Aitor Larzabal Fernandez, Kadi Liik, Sadia Malik, Chanki Moon, Stephan Muehlbacher, Reza Najafi, Emre Oruç, Joonha Park, Iva Poláčková Šolcová, Rahkman Ardi, Ognjen Ridic, Goran Ridic, Yadgar Ismail Said, Andrej Starc, Delia Stefenel, Kiều Thị Thanh Trà, Habib Tiliouine, Robert Tomšik, Jorge Torres-Marin, Charles S. Umeh, Eduardo Wills-Herrera, Anna Wlodarczyk, Zahir Vally & Illia Yahiiaiev - unknown
    Unfounded—conspiracy and health—beliefs about COVID-19 have accompanied the pandemic worldwide. Here, we examined cross-nationally the structure and correlates of these beliefs with an 8-item scale, using a multigroup confirmatory factor analysis. We obtained a two-factor model of unfounded (conspiracy and health) beliefs with good internal structure (average CFI = 0.98, RMSEA = 0.05, SRMR = 0.04), but a high correlation between the two factors (average latent factor correlation = 0.57). This model was replicable across 50 countries (total N = 13,579), (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  10
    Definition-like Extensions by Sorts.Claudia Maria & Paulo S. Veloso - 1995 - Logic Journal of the IGPL 3 (4):579-595.
    Implementation of formal specifications is very important in formal software development and can be described in terms of simple logical concepts. Formal specifications are presentations of theories in many-sorted first-order logic, and an implementation of a formal specification on another formal specification amounts to an interpretation of the former into a conservative extension of the latter. Here we present and analyse some sort introducing constructs akin to those found in many programming languages. This is of importance because it occurs often (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  16
    Definition-like Extensions by Sorts.Claudia Meré María & Paulo A. S. Veloso - 1995 - Logic Journal of the IGPL 3 (4):579-595.
  10.  37
    An analysis of moral dissent: An army officer's public protest of the Vietnam war.William A. Gouveia - 2004 - Journal of Military Ethics 3 (1):53-60.
    What course of action do officers have when their conscience is in conflict with their duty? William A. Gouveia, Jr., describes the case of Col. David Hackworth, whose moral indignation at the conduct of the Vietnam War led him to public condemnation of the conflict, and the premature end of his brilliant military career. Gouveia argues that Hackworth's story has continuing relevancy and highlights important issues of the military?civilian relationship in a democracy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  6
    Meet-Combination of Consequence Systems.Paula Gouveia, João Rasga & Cristina Sernadas - forthcoming - Logic and Logical Philosophy:1-36.
    We extend meet-combination of logics for capturing the consequences that are common to both logics. With this purpose in mind we define meet-combination of consequence systems. This notion has the advantage of accommodating different ways of presenting the semantics and the deductive calculi. We consider consequence systems generated by a matrix semantics and consequence systems generated by Hilbert calculi. The meet-combination of consequence systems generated by matrix semantics is the consequence system generated by their product. On the other hand, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Philosophy and Film: Bridging Divides.Christina Rawls, Diana Neiva & Steven S. Gouveia (eds.) - 2019 - New York: Routledge Press, Research on Aesthetics.
    This volume collects twenty original essays on the philosophy of film. It uniquely brings together scholars working across a range of philosophical traditions and academic disciplines to broaden and advance debates on film and philosophy. The book includes contributions from a number of prominent philosophers of film including Noël Carroll, Chris Falzon, Deborah Knight, Paisley Livingston, Robert Sinnerbrink, Malcolm Turvey, and Thomas Wartenberg. While the topics explored by the contributors are diverse, there are a number of thematic threads that connect (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  13. Note Sur la Bibliographie Recente (2000-2005) du de Memoria D’Aristote.Claudio William Veloso & R. E. Y. Puente Fernando - 2005 - Méthexis 18 (1):97-117.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  47
    On Fork Arrow Logic and Its Expressive Power.Paulo A. S. Veloso, Renata P. De Freitas, Petrucio Viana, Mario Benevides & Sheila R. M. Veloso - 2007 - Journal of Philosophical Logic 36 (5):489 - 509.
    We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  17
    Regulación de la producción de peces ornamentales y sus efectos excluyente en la agricultura familiar en Minas Gerais, Brasil.Homero Chiaraba Gouveia, Matheus Anchieta Ramirez, Alan Figueiredo de Oliveira, Luana Teixeira Lopes, Gustavo Henrique Silva Camargo & Daniela Chemim De Melo Hoyos - 2021 - Ratio Juris 16 (33):475-501.
    Este trabajo investiga las interrelaciones entre la regulación y los as-pectos económicos y ambientales en una comunidad de agricultores familiares en la región conocida como Zona da Mata Mineira, en el estado brasileño de Minas Gerais. El estudio es producto de una acti-vidad de extensión realizada entre 2016 y 2018, y tuvo como objetivo asesorar a los pequeños productores en el proceso de adecuación legal de la producción. Durante este período se realizaron cerca de cinco reuniones entre investigadores y comuneros, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  30
    Automata's Inner Movie: Science and Philosophy of Mind.Steven Gouveia & Manuel Curado (eds.) - 2019 - Wilmington, Deleware, United States: Vernon Press.
    This book brings together researchers from a variety of fields to jointly present and discuss some of the most relevant problems around the conscious mind. This academic plurality perfectly characterizes the complexity with which a current researcher is confronted to discuss and work on this topic. The volume is organized as follows: Part I introduces the general problems of Philosophy of Mind and some historical perspectives. Part II focuses on understanding the input that the empirical sciences can offer to the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  4
    Em prol de Aristóteles.António de Gouveia - 1940 - Lisboa,: Livraria Bertrand.
  18.  8
    Multiagent learning using a variable learning rate.Michael Bowling & Manuela Veloso - 2002 - Artificial Intelligence 136 (2):215-250.
  19.  6
    Weighted synergy graphs for effective team formation with heterogeneous ad hoc agents.Somchaya Liemhetcharat & Manuela Veloso - 2014 - Artificial Intelligence 208 (C):41-65.
  20.  16
    Is Mindful Parenting Associated With Adolescents’ Emotional Eating? The Mediating Role of Adolescents’ Self-Compassion and Body Shame.Maria João Gouveia, Maria Cristina Canavarro & Helena Moreira - 2018 - Frontiers in Psychology 9.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  21. A agostinizaçao do pensamento de Descartes. Precedida de uma breve genealogia do agostinismo nos séc. XVI e XVII in Santo Agostinho. No XVI Centenario da sua Conversao e Baptismo. [REVIEW]A. Menezes Veloso - 1988 - Revista Portuguesa de Filosofia 44 (1):127-161.
     
    Export citation  
     
    Bookmark  
  22.  12
    Hidácio de Chaves e a Galécia do século VHidácio de Chaves and 5th Century Galécia: Mental Representations of a Cleric at the “Outer Reaches of the World”.Mário de Gouveia - 2012 - Cultura:201-216.
    O objectivo deste artigo é apresentar um conjunto de reflexões sobre o imaginário literário de Hidácio, bispo de Chaves, na conjuntura política da província hispânica da Galécia, durante o século V.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  14
    Mas, afinal, o que é uma biblioteca?António Camões Gouveia - 2006 - Cultura:21-28.
    Primeiro registo – o histórico. O que é uma Biblioteca I. Apontamentos. (para aulas e futuras investigações) A importância da leitura, e das suas aprendizagens, e do livro, na sua construção enquanto objecto de saber. O livro como "bem cultural", depois, temporalmente explorado como património, ou por um conjunto de leitores credenciados, normalmente intelectualizados, a quem poderemos chamar "produtores de ideias", ou por um grupo local, "eruditos", ou nacional, "políti­cos" (?), constroem o...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  21
    O filosofar budista: Breves reflexões sobre O fazer filosófico E as suas motivações.Ana Paula Martins Gouveia - 2016 - Kriterion: Journal of Philosophy 57 (133):189-205.
    RESUMO Este texto propõe a trazer à tona alguns aspectos dos estudos do budismo e de sua filosofia no Brasil, que têm sido, de alguma forma, negligenciados ou tratados de modo pouco condizente com a proposta com que este filosofar foi inicialmente concebido. Não se trata de convencer ou "converter" acadêmicos brasileiros a pensarem de maneira similar aos eruditos budistas, mas simplesmente destacar pontos que parecem relevantes para dar continuidade a um debate que já vem sendo estabelecido, particularmente na última (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  6
    Reflexões sobre o Fazer Cinematográfico: A Ética como Bússola para uma Nova Cartografia do Cinema Mundial.Ana Paula Martins Gouveia - 2013 - Logos: Comuniação e Univerisdade 20 (2).
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. The Perks of Understanding and the case with the Experience of Time in Depression.Pedro Afonso Gouveia - 2023 - Humana Mente 16 (43).
    The methodological differences of understanding, versus explaining, have been at the centre of a century-long methodenstreit debate (and disagreement) among philosophers and scientists. Karl Jaspers managed to import this discussion to the realm of psychiatry and psychopathology in a significant, but unresolved, manner. Side-tracked by the advent of various changes in psychiatry during the 20th century, phenomenology and philosophy of psychiatry have made a comeback in the last decades and, since then, developed new contributions to this subject. Quite similarly, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  13
    Pós-modernidade, complexidade e suas nuances na ciência da informação.Antonio Gouveia de Sousa, Tâmela Costa, Noemi Andreza da Penha, Michel Batista da Silva, Jetur Lima de Castro & Marta Lígia Pomim Valentim - 2022 - Logeion Filosofia da Informação 8 (2):65-81.
    Os registros históricos humanos sofreram transformações à medida em que evoluíam as tecnologias. Quanto maior a evolução tecnológica, mais informações puderam ser disseminadas. O objetivo desta pesquisa é discutir as possíveis similaridades entre a Ciência da Informação e as nuances pós-modernas. Como procedimentos metodológicos apresenta uma pesquisa de natureza qualitativa e exploratória baseada em uma revisão bibliográfica. O estudo possibilitou a confirmação dos elementos relacionais para uma compreensão dialógica entre a pós-modernidade, a complexidade e a Ciência da Informação. O pensamento (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28. On What There Must Be: Existence in Logic and Some Related Riddles.Paulo A. S. Veloso, Luiz Carlos Pereira & E. Hermann Haeusler - 2012 - Disputatio 4 (34):889-910.
    Veloso-Pereira-Haeusler_On-what-there-must-be.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  29.  31
    Does artificial intelligence exhibit basic fundamental subjectivity? A neurophilosophical argument.Georg Northoff & Steven S. Gouveia - forthcoming - Phenomenology and the Cognitive Sciences:1-22.
    Does artificial intelligence (AI) exhibit consciousness or self? While this question is hotly debated, here we take a slightly different stance by focusing on those features that make possible both, namely a basic or fundamental subjectivity. Learning from humans and their brain, we first ask what we mean by subjectivity. Subjectivity is manifest in the perspectiveness and mineness of our experience which, ontologically, can be traced to a point of view. Adopting a non-reductive neurophilosophical strategy, we assume that the point (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  7
    A fraternidade não burguesa em Sagarana, Quarup e outras narrativas brasileiras.Arturo Gouveia de Araujo - 2021 - Desleituras Literatura Filosofia Cinema e outras artes 5:42-47.
    Este livro consiste na apresentação de todo um embasamento teórico so-bre a história e a conceituação da fraternidade no mundo ocidental, em duas vertentes: o legado do cristianismo e as concepções políticas do Iluminismo e da Revolução Francesa. Abrange ainda a análise do conto 'A hora e vez de Augusto Matraga', de Guimarães Rosa, e do romance Quarup, de Antônio Callado. Em relação ao conto rosiano, uma parte da análise dos pretos velhos que protagonizam a ação fraterna já se encontra (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  6
    Penser les métamorphoses de la politique, de la violence, de la guerre: avec Colette Guillaumin, Nicole-Claude Mathieu, Paola Tabet, féministes matérialistes.Marie-Claire Caloz-Tschopp & Teresa Veloso Bermedo (eds.) - 2013 - [Concepción, Chile]: Ediciones Escaparate.
    Cet ouvrage collectif rassemble les résultats de travaux d'un vaste projet citoyen et académique mené dans le cadre d'un Programme International de Philosophie "Exil, Création, Philosophie et Politique". Ces réflexions s'articulent autour d'une préoccupation, les métamorphoses de la politique, de la violence de la guerre et ses incidences sur l'action et la pensée politique. Que peuvent nous apprendre des féministes matérialistes sur ces métamorphoses?
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  8
    State-set branching: Leveraging BDDs for heuristic search.Rune M. Jensen, Manuela M. Veloso & Randal E. Bryant - 2008 - Artificial Intelligence 172 (2-3):103-139.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  22
    Retribution, Rehabilitation and the Revised Penal Code: Juridical Discourse in the Carceral State.Christine Veloso Lao - 2000 - Budhi: A Journal of Ideas and Culture 4 (1):121-168.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34. El lenguaje radiofónico en la publicidad del prime time generalista. Los anuncios en la radio de las estrellas.Juan José Perona Páez & María Luz Barbeito Veloso - 2008 - Telos: Cuadernos de Comunicación E Innovación 77:115-124.
    No categories
     
    Export citation  
     
    Bookmark  
  35.  7
    Depth-based short-sighted stochastic shortest path problems.Felipe W. Trevizan & Manuela M. Veloso - 2014 - Artificial Intelligence 216 (C):179-205.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  31
    On vague notions and modalities: a modular approach.Paulo Veloso, Sheila Veloso, Petrúcio Viana, Renata de Freitas & Mario Benevides - 2010 - Logic Journal of the IGPL 18 (3):381-402.
    Vague notions, such as ‘generally’, ‘rarely’, ‘often’, ‘almost always’, ‘a meaningful subset of a whole’, ‘most’, etc., occur often in ordinary language and in some branches of science. We introduce modal logical systems, with generalized operators, for the precise treatment of assertions involving some versions of such vague notions. We examine modal logics, constructed in a modular fashion, with generalized operators corresponding to some versions of ‘generally’ and ‘rarely’.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  37.  29
    On vague notions and modalities: a modular approach.P. A. S. Veloso, S. R. M. Veloso, P. Viana, R. D. Freitas, M. Benevides & C. Delgado - 2010 - Logic Journal of the IGPL 18 (3):381-402.
  38. Recensão a: Hvgo Henricvs Paoli-Ciceronis Filius.Maria Alice Nobre Gouveia - 1960 - Humanitas 11.
    No categories
     
    Export citation  
     
    Bookmark  
  39. Matéria e percepção em Metaph. Z e H.Cláudio William Veloso - 2001 - Discurso 32:141-160.
    O presente trabalho trata da definição de fenômenos naturais. tais como o trovão que é usada como paradigma na definição das substâncias perceptíveis em Metafísica, Z17. Procura-se mostrar como a definição do trovão implica necessariamente uma referência à substância, assim como a definição das substâncias perceptíveis parte necessariamente de um acidente, que justamente funciona como matéria. Entende-se assim trazer à tona algumas questões embaraçosas para Aristóteles, que dizem respeito ao “hiato” existente entre percepção e intelecção e ao caráter não assertivo (...)
    No categories
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  40.  13
    António Ribeiro dos Santos (1745-1818).António Camões Gouveia - 2017 - Cultura:17-44.
    Os tempos conjunturais de 1745 a 1818 são, tal como a vida e actuação de António Ribeiro dos Santos, diversificados e dissonantes. Qual o problema de fundo deste artigo? Tentar retraçar e compreender as linhas de um desenho, de componente biográfico-intelectual, em que as cores da paleta do barroco atlântico-joanino paulatina mas persistentemente se tornam mutáveis em luzes enciclopédicas e europeias. O Reino estendia-se em paisagens de senhorios e concelhos, pontuadas por uma rede crescente de espaços urbanos em extensões de (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  11
    Functional Interpretation of Logics for ‘Generally’.Paulo Veloso & Sheila Veloso - 2004 - Logic Journal of the IGPL 12 (6):627-640.
    Logics for ‘generally’ are intended to express some vague notions, such as ‘generally’, ‘several’, ‘many’, ‘most’, etc., by means of the new generalized quantifier ∇ and to reason about assertions with ‘generally’ . We introduce the idea of functional interpretation for ‘generally’ and show that representative functions enable elimination of ∇ and reduce consequence to classical theories. Thus, one can use proof procedures and theorem provers for classical first-order logic to reason about assertions involving ‘generally’.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  56
    On Ultrafilter Logic and Special Functions.Paulo A. S. Veloso & Sheila R. M. Veloso - 2004 - Studia Logica 78 (3):459-477.
    Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43. Abductive Reasoning over Temporal Specifications of Objects.Paula Gouveia & Cristina Sernadas - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 293-318.
    No categories
     
    Export citation  
     
    Bookmark  
  44. Abductive Reasoning over Temporal Specifications of Objects.Paula Gouveia & Cristina Sernadas - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 293-318.
    No categories
     
    Export citation  
     
    Bookmark  
  45. Charcoal in the soils and paleofires in distinct regions of Brazil.Susy Eli M. Gouveia - forthcoming - Laguna.
    No categories
     
    Export citation  
     
    Bookmark  
  46. El proceso de selección del personal docente basado en el enfoque de competencias. Una propuesta.Edith Gouveia & Katty Montiel - 2006 - Telos: Critical Theory of the Contemporary 8 (2):199-214.
     
    Export citation  
     
    Bookmark  
  47. Emergent skills in higher education: the quest for emotion and virtual university.Luis Borges Gouveia - 2005 - In David Seth Preston (ed.), Contemporary issues in education. New York, NY: Rodopi.
  48.  19
    Perception, Cognition and Aesthetics.Steven Gouveia, Manuel Curado & Dena Shottenkirk (eds.) - 2019 - New York: Routledge Studies in Contemporary Philosophy.
    This volume addresses key questions related to how content in thought is derived from perceptual experience. It includes chapters that focus on single issues on perception and cognition, as well as others that relate these issues to an important social construct that involves both perceptual experience and cognitive activities: aesthetics. While the volume includes many diverse views, several prominent themes unite the individual essays: a challenge to the notion of the discreet, and non-temporal, unit of perception, a challenge to the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  29
    Philosophy of Mind: Contemporary Perspectives.Steven Gouveia & Manuel Curado (eds.) - 2017 - Newcastle: Cambridge Scholars Publishing.
    The human mind is one of the most extraordinary mysteries of the contemporary sciences and philosophy. We know for sure that we have one, and that we have feelings and conscious experience. But why is that? This anthology addresses contemporary issues in the field of study that is the philosophy of mind. It is divided into five main parts: i) the concept of Self in the contemporary philosophy of mind; ii) sensory experience: odors, vision and colors; iii) Artificial Intelligence: the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. Recensão a: Willelmus Busch-Maximi et Mauritii Malefacta.Maria Alice Nobre Gouveia - 1960 - Humanitas 11.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 152